Logic and inductive logic programming 邏輯與歸納邏輯程序設(shè)計(jì)
Inductive logic programming 歸納邏輯程序設(shè)計(jì)
8 wang j, ju s, luo x . probabilistic logic programming with inheritance . in proc 這種概率邏輯程序語言可以實(shí)現(xiàn)不確定性下的信念更新,目標(biāo)更新和不確定性實(shí)用推理。
This dissertation concentrates on the initial research work in genetic inductive logic programming technique 本論文主要開展了遺傳歸納邏輯程序設(shè)計(jì)技術(shù)的初步研究。
First-order rule mining technique based on first-order logic is often called as inductive logic programming ( ilp ) 基于一階邏輯的一階規(guī)則挖掘技術(shù)常被稱作歸納邏輯程序設(shè)計(jì)(ilp)。
Create xml schema files from the cobol copybook, which represents the input and output business logic program commarea see the sidebar 從cobolcopybook創(chuàng)建xmlschema文件,cobolcopybook表示輸入和輸出業(yè)務(wù)邏輯程序commarea(請(qǐng)參見側(cè)欄
Because the factorization attribute of logic program possess the property of uncertainty, exploring the fargoing factorizing algorithm need further study 由于邏輯程序的可分解屬性具有不確定性,因此尋找適用范圍更廣的分解算法有待于進(jìn)一步研究。
Including dsp's program under tl " s ccs environment, cpld's logic program under max + plus ii environment, system program under visual c + + and so on 根據(jù)本系統(tǒng)硬件邏輯的特點(diǎn),epf10k10a的邏輯采用邏輯圖輸入的方式,并在maxplus11卜模擬結(jié)果。
In this paper, this unrealistic assumption is removed and a new agent-oriented probabilistic logic programming language is proposed, which can deal with uncertain information about the world 但是,目前大多數(shù)的研究都假定,在agent的精神狀態(tài)以及其所處的環(huán)境中,不存在不確定性。